Section: Dissemination

Program Committees

• FCC – June 2012, Cambridge, MA, USA: Bruno Blanchet

• FM – August 2012, Paris, France: Bruno Blanchet

• CCS – October 2012, Ralleigh, NC, USA: Bruno Blanchet

• POST – March 2013, Rome, Italy: Bruno Blanchet

• PROOFS workshop - September 2012, September 2012: Graham Steel

• ACM SAC - Security Track 2012: Graham Steel